1. Generating software from specifications
پدیدآورنده : Waite, W. M. )William McCastline(
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)
موضوع : ، Computer software-- Development,، Computer software-- Specifications
رده :
QA
76
.
76
.
D47
.
W335
2006
2. Guide to software engineering standards and specifications
پدیدآورنده : Magge, Stan CCP.
کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه صنعتي خواجه نصير الدين طوسى (طهران)
موضوع : ، Software engineering- Standards,، Computer software- Specifications
رده :
QA
76
.
758
.
M258
3. Guide to software engineering standards and specifications
پدیدآورنده : Magee, Stan
کتابخانه: كتابخانه پژوهشگاه نیرو (طهران)
موضوع : ، Software engineering-standards,، Computer software specifications
رده :
QA
76
.
758
.
M258
4. Integration of software specification techniques for applications in engineering : priority program SoftSpez of the German Research Foundation )DFG( : final report
پدیدآورنده : Hartmut Ehrig ... ]et al.[
کتابخانه: (طهران)
موضوع : Development -- Congresses ، Computer software -- Germany,Specifications -- Congresses ، Computer software -- Germany,Congresses ، Production engineering -- Technological inovations -- Germany,Congresses ، Traffic engineering -- Technological innovations -- Germany,Software -- Congresses ، Engineering -- Germany
رده :
QA
76
.
L28
Vol
.
3147
5. OpenGL ES 3.0 programming guide
پدیدآورنده : Dan Ginsburg, Budirijanto Purnomo ; with earlier contributions from Dave Shreiner, Aaftab Munshi
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Application program interfaces (Computer software),Computer graphics, Specifications,Computer programming
رده :
T385
.
G567
2014
6. OpenGL ES 3.0 programming guide
پدیدآورنده : Dan Ginsburg, Budirijanto Purnomo ; with earlier contributions from Dave Shreiner, Aaftab Munshi
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Application program interfaces (Computer software),Computer graphics, Specifications,Computer programming
رده :
T385
.
G567
2014
7. Software specification method
پدیدآورنده : / edited by Henri Habrias, Marc Frappier
کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع : Formal methods (Computer science),Computer software--Specifications
رده :
QA
,
76
.
9
,.
F67
,
S64
,
2006eb
8. Software specification methods
پدیدآورنده :
کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Formal methods (Computer science) ; Computer software ; Specifications. ;
9. Software specification methods :
پدیدآورنده : Marc Frappier and Henri Habrias (eds.)
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer software, Specifications,Formal methods (Computer science),Logiciels - Spécifications,Méthodes formelles (Informatique)
رده :
QA76
.
9
.
F67
S64
2001
10. Software specification techniques
پدیدآورنده : ]edited by[ Narain Gehani, Andrew McGettrick
کتابخانه: كتابخانه پژوهشگاه نیرو (طهران)
موضوع : ، Computer software- Specifications
رده :
QA
76
.
6
.
S6437
1986
11. Specification and design of software systems
پدیدآورنده : edited by E. Knuth and E.J. Neuhold
کتابخانه: كتابخانه مركزي دانشكده نفت اهواز (خوزستان)
موضوع : Operating systems (Computers)- Congresses,Computer software- Specifications- Congresses,System design- Congresses
رده :
QA
,
76
.
6
,.
C646
,
1982
12. Specification and design of software systems :
پدیدآورنده : edited by E. Knuth and E.J. Neuhold.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer software -- Specifications -- Congresses.,Operating systems (Computers) -- Congresses.,System design -- Congresses.
13. Specification and design of software systems : Conference on Operating Systems Visegrad, Hungary, January 23-27, 1982, proceedings
پدیدآورنده : Conference on Operating Systems, )2891, Visegrad, Hungary(
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)
موضوع : ، Operating systems )Computers(-- Congresses,، Computer software-- Specifications-- Congresses,، System design-- Congresses
رده :
QA
76
.
6
.
C646
1982
14. Specification of software systems
پدیدآورنده : V.S. Alagar, K. Periyasamy
موضوع : Software engineering,Computer software, Specifications
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
15. Specifying software :
پدیدآورنده : R.D. Tennent.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer programming.,Computer software, Specifications.,Computer programming.,COMPUTER PROGRAMMING.,COMPUTER PROGRAMS.,Computer software.,FILE MAINTENANCE (COMPUTERS),PROGRAMMING LANGUAGES.,SOFTWARE TOOLS.
رده :
QA76
.
6
.
T4416
2002
16. The OpenGL ES 2.0 programming guide
پدیدآورنده : / Aaftab Munshi, Dan Ginsburg, Dave Shreiner
کتابخانه: المكتبة المركزية ومركز الأرشيف (طهران)
موضوع : Computer graphics,Application program interfaces (Computer software),Computer programming,-- Specifications
رده :
006
.
66
M969O
2009
17. The OpenGL ES 2.0 programming guide /
پدیدآورنده : Aaftab Munshi, Dan Ginsburg, Dave Shreiner.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : OpenGL.,Application program interfaces (Computer software),Computer graphics, Specifications.,Computer programming.
رده :
T385
.
M863
2009
